Über Prüfung von kohlensaurem Kali

Compilezeit-Prüfung von Spring-Konfigurationen

Dependency Injection Frameworks wie das Spring Framework verlassen sich auf dynamische Sprachfähigkeiten von Java. Sofern diese Fähigkeiten auf unvorhergesehene Art und Weise eingesetzt werden, können Fehler auftreten, die zur Übersetzungszeit nicht vom Java-Compiler erkannt werden. Diese Arbeit diskutiert die Anwendung von statischer Programmcode-Analyse als Mittel, besagte ÜbersetzungszeitPrü...

Temporale Prüfung von Software-Funktionen

Persistenz von Objekten über eine relationale Datenbank

Die objektorientierte Analyse, das Design und die Programmierung nehmen sich im Informatikunterricht kaum des Problems der Persistenz an. Objekte werden nur flüchtig gehalten oder höchstens in einem Stream aus dem Hauptspeicher auf einen Massenspeicher geschrieben bzw. von ihm gelesen. Im Unterricht werden die Ansätze der Objektorientierung und die der relationalen Datenbank nicht zusammengefüh...

Prüfung der Biokompatibilität von Implantatwerkstoffen mit Methoden der digitalen Bildverarbeitung

iii

Eine Untersuchung über Korrekturkosten von Software-Fehlern

Verbesserungen in der Software-Entwicklung basieren auf der Annahme, dass Fehler günstiger zu beheben sind, wenn sie möglichst früh entdeckt werden [Boe76,Boe87]. Erfahrungsberichte bestätigen diesen Zusammenhang [Bas84, Hum95, Kan03, Shu02]. Aktuelle oder detaillierte Zahlen liegen aber nicht vor. Darum ist zum Beispiel unklar, ob und wie sich ein objektorientiertes Vorgehen auswirkt und welch...